then prove that a^n ≡ b^n (mod m)